631437846e88f8f3f349b6eb27bfd667905ab3e0,projects/batfish/src/org/batfish/main/Batfish.java,Batfish,pathDiff,#HeaderSpace#,2304

Before Change


         String ingressNode = edge.getNode1();
         String outInterface = edge.getInt1();
         String vrf = diffConfigurations.get(ingressNode).getInterfaces()
               .get(outInterface).getVrf();
         ReachEdgeQuerySynthesizer reachQuery = new ReachEdgeQuerySynthesizer(
               ingressNode, vrf, edge, true, headerSpace);
         ReachEdgeQuerySynthesizer noReachQuery = new ReachEdgeQuerySynthesizer(

After Change


         String ingressNode = edge.getNode1();
         String outInterface = edge.getInt1();
         String vrf = diffConfigurations.get(ingressNode).getInterfaces()
               .get(outInterface).getVrf().getName();
         ReachEdgeQuerySynthesizer reachQuery = new ReachEdgeQuerySynthesizer(
               ingressNode, vrf, edge, true, headerSpace);
         ReachEdgeQuerySynthesizer noReachQuery = new ReachEdgeQuerySynthesizer(